Nuprl Definition : leaf_value
4,23
postcript
pdf
leaf_value(
t
) == Case(
t
) Case tree_leaf(
l
) =>
l
Default => True
latex
Definitions
leaf_value(
t
)
,
Case(
value
)
body
,
Case tree_leaf(
x
) =>
body
(
x
)
cont
,
Default =>
body
,
True
FDL editor aliases
leaf_value
origin